The Place of Inductive Reasoning in Navya-Nyaya Logic
نویسندگان
چکیده
منابع مشابه
the place of iranian public diplomacy in central asia
چکیده: نسبت به کارکرد و ماهیت دیپلماسی عمومی در جهان امروز نظریه های متعددی بیان گردیده و جایگاه آن در کنار نظریه های دیگر در محافل آکادمیک و دانشگاهی بررسی و تحلیل گردیده است. نظر به اهمیت دیپلماسی عمومی و جایگاه آن در سیاست خارجی ایران این نوشتار با تمرکز بر دیپلماسی عمومی در منطقه آسیای مرکزی تهیه و تنظیم شده است. این ضرورت از آنجا ناشی می شود که اولاً مفهوم دیپلماسی عمومی در سیاست خارجی ای...
15 صفحه اولFormalised Inductive Reasoning in the Logic of Bunched Implications
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framework. The first proof system adopts a traditional approach to inductive proof, extending the usual sequent calculus for predicate BI with explicit induction rules for the inductively defined predicates. The second system...
متن کاملA Logic For Inductive Probabilistic Reasoning
Inductive probabilistic reasoning is understood as the application of inference patterns that use statistical background information to assign (subjective) probabilities to single events. The simplest such inference pattern is direct inference: from “70% of As are Bs” and “a is an A” infer that a is a B with probability 0.7. Direct inference is generalized by Jeffrey’s rule and the principle of...
متن کاملExperiments in numerical reasoning with Inductive Logic Programming
Using problem-speciic background knowledge, computer programs developed within the framework of Inductive Logic Programming (ILP) have been used to construct restricted rst-order logic solutions to scientiic problems. However, their approach to the analysis of data with substantial numerical content has been largely limited to constructing clauses that: (a) provide qualitative descriptions (\hi...
متن کاملReasoning with OWL-DL in Inductive Logic Programming
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Programming (ILP) with respect to other approaches to concept learning. We argue that ILP can not ignore the latest developments in Knowledge Engineering such as ontologies and formalisms based on Description Logics. In t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
سال: 1957
ISSN: 1884-0051,0019-4344
DOI: 10.4259/ibk.5.315